1. Logic program synthesis and transformation :
پدیدآورنده : T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programación lógica -- Congresos.,Programación lógica -- Congresos.
رده :
QA76
.
63
T635
1992